<?php
if (isset($_POST['NOM_HISTOIRE'])){
	$db = new DB($_SESSION['host'],$_SESSION['dbname'],$_SESSION['user'],$_SESSION['password']);
	$inf = $db->historiqueHistoire($_POST['NOM_HISTOIRE']);
	formaterTableau($inf);
}
?>